Symbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte)
نویسنده
چکیده
منابع مشابه
Test generation from recursive tile systems
In this paper we explore the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. Test generation for this kind of models is seldom...
متن کاملIs Bad Structure Better Than No Structure?: Unsupervised Parsing for Realisation Ranking
In natural language generation using symbolic grammars, state-of-the-art realisation rankers use statistical models incorporating both language model and structural features. The rankers depend on multiple structures produced by the particular large-scale symbolic grammars to rank the output; for languages with smaller resources and in-development grammars, we look at the feasibility of an alte...
متن کاملToward an amazigh language processing
Since antiquity, the Amazigh heritage is expanding from generation to generation. In the aim of safeguarding it from being threatened of disappearance, it seems opportune to equip this language of necessary means to confront the stakes of access to the domain of New Information and Communication Technologies (ICT). In this context, and in the perspective to build tools and linguistic resources ...
متن کاملDistributed On-the-Fly Model Checking and Test Case Generation
The explicit-state analysis of concurrent systems must handle large state spaces, which correspond to realistic systems containing many parallel processes and complex data structures. In this report, we combine the on-the-fly approach (incremental construction of the state space) and the distributed approach (state space exploration using several machines connected by a network) in order to inc...
متن کاملContext-based Retrieval for Explainable Reasoning
On the background of mobile, ubiquitous, and pervasive applications, context determination and assignment is a necessary factor to provide IT solutions suited to a user and the user’s current situation. In this paper, context is seen as n-ary relationship. Context gets embedded into ontologies, which are used to structure application specific knowledge. We present an integrative, case-based mod...
متن کامل